home *** CD-ROM | disk | FTP | other *** search
/ Libris Britannia 4 / science library(b).zip / science library(b) / ELECTRON / 0989.ZIP / ESPRESSO.ARC / ESPTYPE.H < prev    next >
Text File  |  1987-03-13  |  7KB  |  178 lines
  1. /* cofactor.c */        int binate_split_select();
  2. /* cofactor.c */        int unate_split_select();
  3. /* cofactor.c */        pcube *cofactor();
  4. /* cofactor.c */        pcube *cube1list();
  5. /* cofactor.c */        pcube *cube2list();
  6. /* cofactor.c */        pcube *cube3list();
  7. /* cofactor.c */        pcube *scofactor();
  8. /* cofactor.c */        pcube largest_cube();
  9. /* cofactor.c */        void massive_count();
  10. /* compl.c */   bool compl_special_cases();
  11. /* compl.c */   pcover compl_cube();
  12. /* compl.c */   pcover compl_merge();
  13. /* compl.c */   pcover complement();
  14. /* compl.c */   void compl_d1merge();
  15. /* compl.c */   void compl_lift();
  16. /* contain.c */ int d1_rm_equal();
  17. /* contain.c */ int rm2_contain();
  18. /* contain.c */ int rm2_equal();
  19. /* contain.c */ int rm_contain();
  20. /* contain.c */ int rm_equal();
  21. /* contain.c */ pset *sf_list();
  22. /* contain.c */ pset *sf_sort();
  23. /* contain.c */ pset_family d1merge();
  24. /* contain.c */ pset_family sf_contain();
  25. /* contain.c */ pset_family sf_dupl();
  26. /* contain.c */ pset_family sf_merge();
  27. /* contain.c */ pset_family sf_union();
  28. /* contain.c */ pset_family sf_unlist();
  29. /* cvrin.c */   char *get_word();
  30. /* cvrin.c */   cube_setup();
  31. /* cvrin.c */   pPLA read_pla();
  32. /* cvrin.c */   pPLA set_phase();
  33. /* cvrin.c */   void parse_pla();
  34. /* cvrin.c */   void read_cube();
  35. /* cvrin.c */   void skip_line();
  36. /* cvrm.c */    bool check_consistency();
  37. /* cvrm.c */    bool verify();
  38. /* cvrm.c */    int ascend();
  39. /* cvrm.c */    int d1_order();
  40. /* cvrm.c */    int desc1();
  41. /* cvrm.c */    int descend();
  42. /* cvrm.c */    int lex_order();
  43. /* cvrm.c */    pcover cb_sharp();
  44. /* cvrm.c */    pcover cb_unravel();
  45. /* cvrm.c */    pcover cv_intersect();
  46. /* cvrm.c */    pcover cv_sharp();
  47. /* cvrm.c */    pcover lex_sort();
  48. /* cvrm.c */    pcover sharp();
  49. /* cvrm.c */    pcover size_sort();
  50. /* cvrm.c */    pcover unravel();
  51. /* cvrmisc.c */ bool check_arg();
  52. /* cvrmisc.c */ bool cost_better();
  53. /* cvrmisc.c */ char *print_cost();
  54. /* cvrmisc.c */ void chk_arglist();
  55. /* cvrmisc.c */ void chk_debug();
  56. /* cvrmisc.c */ void copy_cost();
  57. /* cvrmisc.c */ void cover_cost();
  58. /* cvrmisc.c */ void delete_arg();
  59. /* cvrmisc.c */ void fatal();
  60. /* cvrmisc.c */ void print_trace();
  61. /* cvrmisc.c */ void size_stamp();
  62. /* cvrmisc.c */ void totals();
  63. /* cvrout.c */  char *fmt_cube();
  64. /* cvrout.c */  char *pc1();
  65. /* cvrout.c */  char *pc2();
  66. /* cvrout.c */  char *pc3();
  67. /* cvrout.c */  void cprint();
  68. /* cvrout.c */  void debug1_print();
  69. /* cvrout.c */  void debug_print();
  70. /* cvrout.c */  void fprint_pla();
  71. /* cvrout.c */  void sf_debug_print();
  72. /* espresso.c */        pcover espresso();
  73. /* essen.c */   bool essen_cube();
  74. /* essen.c */   pcover essential();
  75. /* expand.c */  bool feasibly_covered();
  76. /* expand.c */  int most_frequent();
  77. /* expand.c */  pcover expand();
  78. /* expand.c */  pcover mini_order();
  79. /* expand.c */  pcube select_feasible();
  80. /* expand.c */  pset essen_parts();
  81. /* expand.c */  void elim_lowering();
  82. /* expand.c */  void essen_raising();
  83. /* expand.c */  void expand1();
  84. /* expand.c */  void mincov();
  85. /* expand.c */  void setup_BB_CC();
  86. /* explode.c */ pset minterms();
  87. /* explode.c */ void explode();
  88. /* explode.c */ void map();
  89. /* gasp.c */    pcover expand_gasp();
  90. /* gasp.c */    pcover irred_gasp();
  91. /* gasp.c */    pcover reduce_gasp();
  92. /* irred.c */   bool cube_is_covered();
  93. /* irred.c */   bool ftaut_special_cases();
  94. /* irred.c */   bool taut_component_reduction();
  95. /* irred.c */   bool taut_special_cases();
  96. /* irred.c */   bool tautology();
  97. /* irred.c */   int find_minimum();
  98. /* irred.c */   pcover irredundant();
  99. /* irred.c */   pcube *mlist1();
  100. /* irred.c */   pset_family fcube_is_covered();
  101. /* irred.c */   pset_family ftautology();
  102. /* irred.c */   void *mlist2();
  103. /* irred.c */   void irred();
  104. /* memory.c */  char *alloc();
  105. /* memory.c */  char *mem_alloc();
  106. /* memory.c */  void mem_free();
  107. /* memory.c */  void mem_stats();
  108. /* mincov.c */  int *cl_weight();
  109. /* mincov.c */  int *sf_weight_count();
  110. /* mincov.c */  pset minimum_cover();
  111. /* mincov.c */  pset_family exact_minimum_cover();
  112. /* mincov.c */  pset_family family_to_graph();
  113. /* mincov.c */  pset_family sf_intersect();
  114. /* mincov.c */  void clique_select();
  115. /* mincov.c */  void greedy_select();
  116. /* mincov.c */  void maxclique_greedy();
  117. /* mincov.c */  void weed();
  118. /* opo.c */     int power();
  119. /* opo.c */     pPLA output_phase_setup();
  120. /* opo.c */     pcover isolate();
  121. /* opo.c */     pcube opo();
  122. /* opo.c */     void allphase();
  123. /* opo.c */     void minall();
  124. /* opo.c */     void phase_assignment();
  125. /* pair.c */    pPLA set_pair();
  126. /* pair.c */    pcover delvar();
  127. /* pair.c */    pcover pairvar();
  128. /* pair.c */    pset_family sf_delcol();
  129. /* pop.c */     bool pop_expand();
  130. /* pop.c */     bool pop_reduce();
  131. /* ptime.c */   char *print_time();
  132. /* ptime.c */   double ptime();
  133. /* reduce.c */  bool sccc_special_cases();
  134. /* reduce.c */  pcover mv_reduce();
  135. /* reduce.c */  pcover order_reduce();
  136. /* reduce.c */  pcover reduce();
  137. /* reduce.c */  pcube reduce_cube();
  138. /* reduce.c */  pcube sccc();
  139. /* reduce.c */  pcube sccc_cube();
  140. /* reduce.c */  pcube sccc_merge();
  141. /* set.c */     bool setp_disjoint();
  142. /* set.c */     bool setp_empty();
  143. /* set.c */     bool setp_equal();
  144. /* set.c */     bool setp_implies();
  145. /* set.c */     char *ps1();
  146. /* set.c */     int *sf_count();
  147. /* set.c */     int set_dist();
  148. /* set.c */     int set_ord();
  149. /* set.c */     pset set_adjcnt();
  150. /* set.c */     pset set_and();
  151. /* set.c */     pset set_clear();
  152. /* set.c */     pset set_copy();
  153. /* set.c */     pset set_diff();
  154. /* set.c */     pset set_fill();
  155. /* set.c */     pset set_merge();
  156. /* set.c */     pset set_or();
  157. /* set.c */     pset set_xor();
  158. /* set.c */     pset_family read_set_family();
  159. /* set.c */     pset_family sf_active();
  160. /* set.c */     pset_family sf_addset();
  161. /* set.c */     pset_family sf_append();
  162. /* set.c */     pset_family sf_copy();
  163. /* set.c */     pset_family sf_inactive();
  164. /* set.c */     pset_family sf_join();
  165. /* set.c */     pset_family sf_new();
  166. /* set.c */     pset_family sf_save();
  167. /* set.c */     void sf_delset();
  168. /* set.c */     void sf_free();
  169. /* set.c */     void sf_print();
  170. /* set.c */     void write_set_family();
  171. /* setc.c */    bool ccommon();
  172. /* setc.c */    bool cdist0();
  173. /* setc.c */    bool consensus();
  174. /* setc.c */    bool full_row();
  175. /* setc.c */    int cdist();
  176. /* setc.c */    int cdist01();
  177. /* setc.c */    pset force_lower();
  178.